@ARTICLE{24143,
  author={Murata, T.},
  journal={Proceedings of the IEEE}, 
  title={Petri nets: Properties, analysis and applications}, 
  year={1989},
  volume={77},
  number={4},
  pages={541-580},
  doi={10.1109/5.24143}}